Mathematical Institute

Results: 2914



#Item
281Type theory / Mathematical logic / Category theory / Functional programming / Abstract algebra / Term algebra / Initial algebra / Algebraic structure / Mathematical induction / Term / Sigma-algebra / Unification

Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989

Add to Reading List

Source URL: www.olejohandahl.info

Language: English - Date: 2013-09-23 13:44:35
282Mathematical optimization / Cybernetics / Evolution / Operations research / Genetic algorithms / Multi-objective optimization / Evolutionary algorithm / Pareto efficiency / Evolutionary computation / Reduction / Fitness function

Generic Postprocessing via Subset Selection for Hypervolume and Epsilon-Indicator? Karl Bringmann1 , Tobias Friedrich2 , and Patrick Klitzke3 1 Max Planck Institute for Informatics, Saarbr¨

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2016-01-03 06:46:44
283University of Amsterdam / Mathematical optimization / Inequalities / Quantum mechanics / Institute for Logic /  Language and Computation / Semidefinite programming / Grothendieck inequality / Quantum entanglement

Grothendieck Inequalities, Nonlocal Games and Optimization Jop Briët Grothendieck Inequalities,

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2012-08-10 06:15:57
284Multivariate statistics / Machine learning / Dimension reduction / Dimension / Nonlinear dimensionality reduction / Computational statistics / Dimensionality reduction / Manifold / K-nearest neighbors algorithm / Isomap / Multidimensional scaling / Embedding

Dimensionality Reduction by Learning an Invariant Mapping Raia Hadsell, Sumit Chopra, Yann LeCun The Courant Institute of Mathematical Sciences New York University, 719 Broadway, New York, NY 1003, USA. http://www.cs.nyu

Add to Reading List

Source URL: yann.lecun.com

Language: English - Date: 2006-02-28 22:05:16
285Quantum information science / Quantum mechanics / Quantum computing / Models of computation / Quantum states / Mathematical formulation of quantum mechanics / Qubit / Quantum information / Quantum circuit / Quantum gate / Observable / No-cloning theorem

Lecture notes for the 28th McGill Invitational Workshop on Computational Complexity Bellairs Institute Holetown, Barbados

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2016-07-22 01:13:28
286Quantum mechanics / Quantum information science / Philosophy of science / Quantum states / Modal logic / Ontic / Interpretations of quantum mechanics / Spekkens Toy Model / No-cloning theorem / Quantum entanglement / Mathematical formulation of quantum mechanics / Quantum operation

In defense of the epistemic view of quantum states: a toy theory Robert W. Spekkens arXiv:quant-ph/0401052v2 7 OctPerimeter Institute for Theoretical Physics,

Add to Reading List

Source URL: cqi.inf.usi.ch

Language: English - Date: 2012-02-22 09:04:02
287Mathematical optimization / Applied mathematics / Cryptography / Operations research / Search algorithms / Cryptanalysis / Metaheuristic / Linear cryptanalysis / Advanced Encryption Standard / Genetic algorithm

Machine Learning in Cryptanalysis Advisor(s): Maria Eichlseder and Florian Mendel Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Motivation

Add to Reading List

Source URL: www.iaik.tugraz.at

Language: English - Date: 2015-11-30 11:00:03
288Management / Operations research / Mathematical optimization / INSEAD / Institute for Operations Research and the Management Sciences / Strategic management

Strategy_Science_Cover_draft3

Add to Reading List

Source URL: www.informs.org

Language: English
289Algorithm / Mathematical logic / Theoretical computer science / Dwight D. Eisenhower

A Methodology for the Structured Unification of Scheme and Ike Antkaretoo International Institute of Technology United Slates of Earth

Add to Reading List

Source URL: membres-lig.imag.fr

Language: English - Date: 2014-01-09 04:24:29
290European Mathematical Society / London Mathematical Society / Isaac Newton Institute / Fellows of the Royal Society / Mathematics education in the United Kingdom / Conference Board of the Mathematical Sciences / International Mathematical Union

Selected Professional Service • European Research Council Consolidator grants panel member 2016 • IMU web design committee 2015 – • Vice Chair, IMU Committee for Women in Mathematics 2015 – • Member, Mathema

Add to Reading List

Source URL: homepages.warwick.ac.uk

Language: English - Date: 2015-11-22 06:42:32
UPDATE